1. An introduction to mathemational machine theory
پدیدآورنده :
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Electronic data processing,Mathematical models,Automata,Logic, Symbolic and mathematical
رده :
510
.
78
Gi-I
2. Decision procedures : an algorithmic point of view
پدیدآورنده : Kroening, Daniel
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Mathematical models ، Decision making,، Algorithms,، Logic, Symbolic and mathematical
رده :
QA
279
.
4
.
K76D4
2016
3. Elements of mathematical logic ; model theory
پدیدآورنده : Kreisel, Georg
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematical models
رده :
QA
9
.
K772
1971
4. Formal concept analysis
پدیدآورنده : Bernhard Ganter, Gerd Stumme, Rudolf Wille (eds.)
موضوع : Lattice theory,Comprehension (Theory of knowledge),Logic, Symbolic and mathematical,Information theory,Artificial intelligence, Mathematical models
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
5. Logic-based decision support :
پدیدآورنده : Robert G. Jeroslow
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Decision support systems,Decision-making-- Mathematical models,Logic, Symbolic and mathematical
رده :
T58
.
62
.
J47
1989
6. Logic-based decision support : mixed integer model formulation
پدیدآورنده : Jeroslow, Robert G., 2491-8891
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Decision support systems,Mathematical models ، Decision making,، Logic, Symbolic and mathematical
رده :
T
58
.
62
.
J47
1989
7. Mathematical epistemology and psychology
پدیدآورنده : Beth, Evert Willem, 8091-4691
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy,، Logic machines,Mathematical models ، Psychology,، Knowledge, Theory of
رده :
BC
135
.
B4413
8. Modelling with words : learning, fusion, and reasoning within a formal linguistic representation framework
پدیدآورنده : Jonathan Lawry, Jimi Shanahan, Anca Ralescu )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computational linguistics,Data processing ، Linguistic models,Data processing ، Lexicology,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
2873
9. Qualitative spatial and temporal reasoning
پدیدآورنده : Gérard Ligozat.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Qualitative reasoning.,Space and time-- Mathematical models.,Spatial analysis (Statistics)
رده :
Q339
.
25
.
L54
2012eb
10. The theory of models
پدیدآورنده : edited by J.W. Addison, Leon Henkin, Alfred Tarski.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Congresses.,Mathematical models, Congresses.
11. The theory of models; proceedings
پدیدآورنده :
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (تهران)
موضوع : Logic Symbolic and mathematical models-Congresses
رده :
BC
135
.
I586
12. The theory of models; proceedings
پدیدآورنده : Edited by J.W. Addison, Leon Henkin )and( Alfred Tarski
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematical models
رده :
BC
135
.
I586
1963
